// init: The initial user-level program

#include "../../include/types.h"
#include "../file/stat.h"
#include "../proc/spinlock.h"
#include "../file/sleeplock.h"
#include "../file/fs.h"
#include "../file/file.h"
#include "user.h"
#include "../file/fcntl.h"

char *argv[] = { "sh", 0 };

int
main(void)
{
  printf("init: starting sh\n");
  return 0;
}
